大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

A review of topic modeling methods

Topic modeling is a popular analytical tool for evaluating data. Numerous methods of topic modeling have been developed which consider many kinds of relationships and restrictions within datasets; however, these methods are not frequently employed. Instead many researchers gravitate to Latent Dirichlet Analysis, which although flexible and adaptive, is not always suited for modeling more complex data relationships. We present different topic modeling approaches capable of dealing with correlation between topics, the changes of topics over time, as well as the ability to handle short texts such as encountered in social media or sparse text data. We also briefly review the algorithms which are used to optimize and infer parameters in topic modeling, which is essential to producing meaningful results regardless of method. We believe this review will encourage more diversity when performing topic modeling and help determine what topic modeling method best suits the user needs.     

Design principles for the General Data Protection Regulation (GDPR): A formal concept analysis and its evaluation

Data and software are nowadays one and the same: for this very reason, the European Union (EU) and other governments introduce frameworks for data protection — a key example being the General Data Protection Regulation (GDPR). However, GDPR compliance is not straightforward: its text is not written by software or information engineers but rather, by lawyers and policy-makers. As a design aid to information engineers aiming for GDPR compliance, as well as an aid to software users’ understanding of the regulation, this article offers a systematic synthesis and discussion of it, distilled by the mathematical analysis method known as Formal Concept Analysis (FCA). By its principles, GDPR is synthesised as a concept lattice, that is, a formal summary of the regulation, featuring 144372 records — its uses are manifold. For example, the lattice captures so-called attribute implications, the implicit logical relations across the regulation, and their intensity. These results can be used as drivers during systems and services (re-)design, development, operation, or information systems’ refactoring towards more GDPR consistency.     

基于差频检测技术的高速AD单粒子翻转评估方法研究

本文基于差频检测的原理，提出一种在高频动态输入模式下，对高速高精度模数转换器（AD）的抗单粒子翻转效应进行评估的测试方法，并以一款8位3 GSPS高速AD为测试对象，设计开发了一套高速AD单粒子翻转效应测试系统，对目标器件进行了重离子试验。通过对试验结果的图像和错误数据进行分析，评估参试器件的抗辐照性能参数，为抗辐照高速高精度AD的加固设计提供数据支撑。     

基于残差决策的自动飞行控制系统远程实时故障诊断

针对自动飞行控制系统结构复杂、关联部件众多,发生故障时诊断时间长,从而影响飞机运行效率的问题,提出一种基于飞机通信寻址报告系统(ACARS)的远程实时故障诊断方案。首先,分析自动飞行控制系统的故障特点,设计搭建检测滤波器;然后,利用ACARS数据链实时发送的自动飞行控制系统的关键信息进行相关部件的残差计算,并根据残差决策算法进行故障诊断及定位;最后,针对不同故障部件残差间的差异大、决策门限无法统一的缺点,提出基于二次差值的残差决策改进算法,减缓了检测对象的整体变化趋势,降低了随机噪声和干扰的影响,避免了将瞬态故障诊断为系统故障的情况。实验仿真结果表明,基于二次差值的改进残差决策算法避免了多决策门限的复杂性,在采样时间为0.1 s的情况下,故障检测所需时间大约为2 s,故障检测时间大幅降低,有效故障检测率大于90%。     

A study on the monitoring model development for quality measurement of internet traffic

The recent trend of integration among new network services such as the long-term evolution (LTE) based on internet protocol (IP) needs reputable analyses and prediction information on the internet traffic. The IP along with increased internet traffics due to expanding new service platforms such as smartphones will reflect policies such as network QoS according to new services. The establishment of monitoring methods and analysis plans is thus required for the development of internet traffics that will analyze their status and predict their future. The paper with the speed of Internet traffic model is developed for monitoring the state of the experiment and verified. The problem is that the proposed service Internet service provider (ISP) to resolve the conflict between the occurrences can be considerably Internet traffic and that the state of data may be helpful in understanding. The paper advancement policy to reflect the network traffic volume of Internet services and users irradiation with increased traffic due to the development and management of the analysis was carried out experimental measurements.     

Analysis of adhesively bonded CFRE composite scarf joints modified with MWCNTs

The main objective of the present work is to improve the performance of bonded joints in carbon fiber composite structures through introducing Multi-Walled Carbon Nanotubes (MWCNTs) into Epocast 50-A1/946 epoxy, which was primarily developed for joining and repairing of composite aircraft structures. Results from tension characterizations of structural adhesive joints (SAJs) with different scarf angles (5–45°) showed improvement up to 40% compared to neat epoxy (NE)–SAJs. Special attention was considered to investigate the performance of SAJs with 5° scarf angle under different environments. The tensile strength and stiffness of both NE-SAJs and MWCNT/E-SAJs were dramatically decreased at elevated temperature. Water absorption showed a marginal drop of about 2.0% in the tensile strength of the moist SAJs compared to the dry one. Cracks initiation and propagation were detected effectively using instrumented-SAJs with eight strain gauges. The experimental results agree well with the predicted using three-dimensional finite element analysis model.     

Stochastic free vibration analyses of composite shallow doubly curved shells – A Kriging model approach

This paper presents the Kriging model approach for stochastic free vibration analysis of composite shallow doubly curved shells. The finite element formulation is carried out considering rotary inertia and transverse shear deformation based on Mindlin’s theory. The stochastic natural frequencies are expressed in terms of Kriging surrogate models. The influence of random variation of different input parameters on the output natural frequencies is addressed. The sampling size and computational cost is reduced by employing the present method compared to direct Monte Carlo simulation. The convergence studies and error analysis are carried out to ensure the accuracy of present approach. The stochastic mode shapes and frequency response function are also depicted for a typical laminate configuration. Statistical analysis is presented to illustrate the results using Kriging model and its performance.     

Digital Microfluidics for Manipulation and Analysis of a Single Cell

The basic structural and functional unit of a living organism is a single cell. To understand the variability and to improve the biomedical requirement of a single cell, its analysis has become a key technique in biological and biomedical research. With a physical boundary of microchannels and microstructures, single cells are efficiently captured and analyzed, whereas electric forces sort and position single cells. Various microfluidic techniques have been exploited to manipulate single cells through hydrodynamic and electric forces. Digital microfluidics (DMF), the manipulation of individual droplets holding minute reagents and cells of interest by electric forces, has received more attention recently. Because of ease of fabrication, compactness and prospective automation, DMF has become a powerful approach for biological application. We review recent developments of various microfluidic chips for analysis of a single cell and for efficient genetic screening. In addition, perspectives to develop analysis of single cells based on DMF and emerging functionality with high throughput are discussed.     

A new numerical algorithm to check the observability and bad-data processing ability of the metering scheme

This paper provides a unified approach for the optimization of measurements placements employed for power system online monitoring through state estimation. The proposed methodology, which can be suitable for the mixed measure system, preserves state estimation observability and bad-data processing capability by employing numerical algorithms for observability checking, critical measurements and critical couple identification. First, node injection radix measurements and measurement categories are defined. According to the above definitions, the coefficient matrix can be solved. The analysis on the column vectors of the coefficient matrix can determine each measurement classification. Furthermore, the numbers of each measurement class contains can determine bad-data processing capability. The observability can be checked by the type number of measurements. The proposed method is illustrated with the IEEE39-bus system and the IEEE118-bus system. Results from the case studies are presented to demonstrate that the approach adequately fulfills the desired properties related to observability, bad-data processing, cost, and robustness.